Functional safety - PDFSEARCH.IO - Document Search Engine

Functional safety
Results: 882

#	Item
81	20% Carbamide Peroxide Whitening Film SAFETY DATA SHEET SECTION 1 - Identification Common Name: Add to Reading List Source URL: www.caogroup.com Language: English - Date: 2015-04-01 15:48:26 Peroxides Functional groups Hydrogen peroxide Carbamide peroxide Urea Dangerous goods Tooth bleaching Chemistry Antiseptics Oxidizing agents
82	PDF Document Add to Reading List Source URL: www.dakks.de Language: English - Date: 2015-03-02 23:01:11 Electrical engineering Functional Safety High voltage Electromagnetic interference Electromagnetism Offenbach am Main Verband der Elektrotechnik Elektronik und Informationstechnik
83	United States Government Accountability Office GAO Testimony Before the Special Committee on Aging, Add to Reading List Source URL: www.ncarboretum.org Language: English - Date: 2013-08-27 09:03:17 Dietary supplements Food science Food and Drug Administration Nutrition Labeling and Education Act Dietary fiber Functional food Nutraceutical Center for Food Safety and Applied Nutrition Medicine Health Nutrition
84	Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:32:16 Software engineering Functional languages Mathematical proof F-coalgebra ATS Computing Mathematics Mathematical logic Automated theorem proving
85	FAB news December 2010 The Newsletter for the UK-Ireland FAB Add to Reading List Source URL: www.iaa.ie Language: English Aviation Radar North Atlantic Tracks Single European Sky Ryanair Airline Functional Airspace Block Transport Air safety Air traffic control
86	Goal-based IECSoftware standard Thor Myklebust SINTEF ICT Add to Reading List Source URL: safety.addalot.se Language: English Methodology Software development process IEC 61508 Science ISO 29110 Knowledge Computing Functional Safety Safety Software engineering Information technology management
87	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
88	C:uments and SettingsDocumentsPUBLICATIONSRr cover actual colour.vp Add to Reading List Source URL: www.researchinformation.co.uk Language: English - Date: 2013-05-22 08:55:53 Packaging Health European Food Safety Authority Parma Aspartame Acrylamide Health claims on food labels Functional food Food safety Chemistry Nutrition Food and drink
89	ISSN: PrintOnline) Vol. 17, number 10 March 2008 Add to Reading List Source URL: www.researchinformation.co.uk Language: English - Date: 2010-08-11 19:09:16 Packaging Safety Food law Food science European Food Safety Authority Parma Health claims on food labels Food safety Functional food Nutrition Food and drink Health
90	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:37 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering

UPDATE